package flowlogic;

import java.util.ArrayList;
import java.util.HashMap;
import java.util.HashSet;

import com.microsoft.z3.Z3Exception;

import ast.Term;

public abstract class FLJudgement implements DischargeResult {
	
	private HashMap<String, HashSet<Term>> rho;
	
	public HashMap<String, HashSet<Term>> getRho()
	{
		return rho;
	}
	
	public void setRho(HashMap<String, HashSet<Term>> r)
	{
		rho = r;
	}
	
	public abstract ArrayList<DischargeResult> discharge() throws Z3Exception;

}
